Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
221	Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2007-02-13 15:10:27 Mathematical logic Implicant Lookup table Canonical form Boolean satisfiability problem Conjunctive normal form Binary decision diagram Truth table Boolean function Boolean algebra Theoretical computer science Mathematics
222	Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 04:16:28 Mathematics Constraint satisfaction problem 2-satisfiability Boolean satisfiability problem Constraint satisfaction Local search Constraint programming Theoretical computer science Applied mathematics
223	Many Hard Examples in Exact Phase Transitions1 Ke Xu and Wei Li National Lab of Software Development Environment Department of Computer Science Beihang University, Beijing[removed], China Email:{kexu,liwei}@nlsde.buaa.edu. Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2006-01-02 10:31:48 Mathematics Constraint satisfaction problem 2-satisfiability Constraint satisfaction Boolean satisfiability problem Constraint programming Theoretical computer science Applied mathematics
224	Using SAT-Solvers to Compute Inference-Proof Database Instances (Abstract Version) Cornelia Tadros and Lena Wiese Technische Universitat Dortmund, 44221 Dortmund, Germany {tadros,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:06 Logic in computer science Boolean algebra Propositional calculus Operations research Combinatorial optimization Maximum satisfiability problem Interpretation Mathematical optimization Solver Mathematics Theoretical computer science Mathematical logic
225	An Introduction to Boolean Satisfiability Ian Blumenfeld CyberPoint International 14 May 2013 Add to Reading List Source URL: www.cyber.umd.edu Language: English - Date: 2013-05-18 03:11:56 Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Field-programmable gate array Elliptic curve Diffie–Hellman Xilinx Theoretical computer science Electronic engineering Applied mathematics
226	Constraint Satisfaction Problems (CSPs) Hal Daumé III Computer Science University of Maryland [removed] Add to Reading List Source URL: www.umiacs.umd.edu Language: English - Date: 2012-02-07 10:46:32 Computer programming Constraint satisfaction problem Constraint satisfaction Search algorithm Constraint graph Boolean satisfiability problem Decomposition method Constraint programming Theoretical computer science Software engineering
227	A Simple Model to Generate Hard Satisfiable Instances Ke Xu1 1 Fr´ed´eric Boussemart2 Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 01:56:54 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Constraint satisfaction problem Constraint satisfaction Local search Theoretical computer science Constraint programming Mathematics
228	NICTA ANU SUMMER SCHOLARS PROJECTS – [removed]TITLE Design for Wireless Human Body Area Communications Power control games for wireless ad-hoc network communications Comparison of Classification-Based Loss Functions Mul Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2014-08-15 00:55:22 Cybernetics Learning Machine learning Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
229	NICTA ANU SUMMER SCHOLARS PROJECTS – [removed]TITLE Design for Wireless Human Body Area Communications Power control games for wireless ad-hoc network communications Comparison of Classification-Based Loss Functions Mul Add to Reading List Source URL: nicta.com.au Language: English - Date: 2014-08-15 00:55:22 Cybernetics Learning Machine learning Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
230	Improving Parallel Local Search for SAT Alejandro Arbelaez1 , Youssef Hamadi2,3 1 Microsoft-INRIA joint-lab, Orsay France [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-12-07 07:14:51 Constraint programming Logic in computer science WalkSAT Boolean satisfiability problem Local search Algorithm DPLL algorithm Maximum satisfiability problem Search algorithm Theoretical computer science Applied mathematics Mathematics

UPDATE